31.13/31.24	unsat
