45.98/47.87	unsat
