27.26/29.24	unsat
