8.77/11.84	unsat
