8.68/10.56	unsat
