5.72/6.06	unsat
