47.87/51.18	unsat
