46.86/47.34	unsat
