48.87/49.07	unsat
