31.18/31.24	unsat
