47.43/50.72	unsat
