17.96/21.24	unsat
