47.63/49.32	unsat
