48.92/51.97	unsat
