14.96/15.06	unsat
