12.95/13.06	unsat
