42.48/47.84	unsat
