43.59/47.73	unsat
