6.84/10.56	unsat
