11.77/12.85	unsat
