43.09/47.85	unsat
