48.22/49.86	unsat
