26.60/28.44	unsat
