5.08/6.55	unsat
