28.82/31.56	unsat
