14.72/16.06	unsat
