19.64/31.32	unsat
