45.55/47.84	unsat
