6.94/11.43	unsat
