45.95/47.85	unsat
