45.07/47.46	unsat
