8.96/11.85	unsat
