48.72/49.38	unsat
