14.97/15.06	unsat
