13.50/16.06	unsat
