27.26/27.30	unsat
