47.16/50.32	unsat
