45.79/47.32	unsat
