45.86/47.03	unsat
