5.49/8.06	unsat
