14.86/16.06	unsat
