47.82/50.32	unsat
