28.63/31.85	unsat
