5.67/6.06	unsat
