27.26/28.79	unsat
