5.18/6.06	unsat
