26.19/27.02	unsat
