31.21/31.32	unsat
