28.34/31.77	unsat
