28.32/31.17	unsat
