17.88/31.32	unsat
