6.08/8.56	unsat
