1.19/3.06	unsat
