12.66/16.06	unsat
