28.93/31.85	unsat
