13.48/16.06	unsat
