48.86/49.02	unsat
