45.56/47.07	unsat
