48.30/48.95	unsat
