48.10/75.45	unsat
