49.26/51.97	unsat
