45.63/47.76	unsat
