31.34/31.49	unsat
