28.63/31.62	unsat
