47.48/50.45	unsat
