26.53/27.40	unsat
